Citations within the text should include the author's last name and the year of publication, for example [Cheeseman1985]. Append lower case letters to the year in cases of ambiguity. Treat multiple authors as in the following examples: [Abelson et al.1985] (for more than two authors) and [Brachman and Schmolze1985] (for two authors). If the author portion of a citation is obvious, omit it, e.g., Levesque levesque:belief. Collapse multiple citations as follows: [Levesque1984a,Haugeland1981].